Merge pull request #1312 from davidcunado-arm/dc/update_docs
authordavidcunado-arm <[email protected]>
Thu, 15 Mar 2018 20:41:16 +0000 (20:41 +0000)
committerGitHub <[email protected]>
Thu, 15 Mar 2018 20:41:16 +0000 (20:41 +0000)
commitfb45044bc567b96e8be243b717ec2920224cd9b9
tree59dce4f6eb536122459dd094279d31dcb28082ee
parentc3e34a9e018532a5ff669c67028cb8d1dea7c7d2
parent855ac025f10e6712211dc629c2754b61afcc4e37
Merge pull request #1312 from davidcunado-arm/dc/update_docs

Docs: Update various for v1.5 release